Edward Haeusler: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Topos-Theoretic Approach to Counterfactual Logic

Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 310 KB

english, 2009

2

A celebration of Alan Turing's achievements in the year of his centenary

Edward Hermann Haeusler

Journal:

International Transactions in Operational Research

Year:

2012

Language:

english

File:

PDF, 458 KB

english, 2012

3

Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems

Carlos Bazilio, Edward Hermann Haeusler, Markus Endler

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 395 KB

english, 2007

4

[IEEE 2017 IEEE 11th International Conference on Semantic Computing (ICSC) - San Diego, CA, USA (2017.1.30-2017.2.1)] 2017 IEEE 11th International Conference on Semantic Computing (ICSC) - An Approach for Real-Time Stream Reasoning for the Internet of Things

Endler, Markus, Briot, Jean-Pierre, Silva, Francisco Silva E, Almeida, Vitor P. de, Haeusler, Edward H.

Year:

2017

Language:

english

File:

PDF, 1.95 MB

english, 2017

5

Nerve-Sparing Radical Vaginectomy

Raspagliesi, Francesco, Ditto, Antonino, Martinelli, Fabio, Hanozet, Francesco, Solima, Eugenio, Grijuela, Barbara, Haeusler, Edward, Fontanelli, Rosanna

Journal:

International Journal of Gynecological Cancer

Year:

2009

Language:

english

File:

PDF, 3.99 MB

english, 2009

6

A formalization of Sambins's normalization for GL

Edward Hermann Haeusler, Luiz Carlos Pereira

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 529 KB

english, 1993

7

A Concrete Categorical Model for the Lambek Syntactic Calculus

Marcelo Da Silva Corrêa, Edward Hermann Haeusler

Journal:

Mathematical Logic Quarterly

Year:

1997

Language:

english

File:

PDF, 530 KB

english, 1997

8

Constructive Description Logics Hybrid-Style

Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 202 KB

english, 2011

9

Peirce's Rule in a Full Natural Deduction System

Vaston G. Costa, Wagner Sanz, Edward H. Haeusler, Luiz C. Pereira

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 258 KB

english, 2009

10

Preface

Edward Hermann Haeusler, Luis Farinas del Cerro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 91 KB

english, 2011

11

A note on the size of minimal covers

Vaston Costa, Edward Haeusler, Eduardo S. Laber, Loana Nogueira

Journal:

Information Processing Letters

Year:

2007

Language:

english

File:

PDF, 102 KB

english, 2007

12

Code migration and program maintainability — A categorical perspective

Alex de V. Garcia, Edward Hermann Haeusler

Journal:

Information Processing Letters

Year:

2001

Language:

english

File:

PDF, 102 KB

english, 2001

13

Preface: Volume 67

Ruy de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 63 KB

english, 2002

14

A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic

Luiz C. Pereira, Edward H. Haeusler, Vaston G. Costa, Wagner Sanz

Journal:

Year:

2010

Language:

english

File:

PDF, 184 KB

english, 2010

15

A Natural Deduction System for Keisler's Quantification

Christian Jacques Rentería, Edward Hermann Haeusler

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 231 KB

english, 2005

16

Class III Nerve-sparing Radical Hysterectomy Versus Standard Class III Radical Hysterectomy: An Observational Study

Antonino Ditto, Fabio Martinelli, Flavia Mattana, Claudio Reato, Eugenio Solima, Marialuisa Carcangiu, Edward Haeusler, Luigi Mariani, Francesco Raspagliesi

Journal:

Annals of Surgical Oncology

Year:

2011

Language:

english

File:

PDF, 1.67 MB

english, 2011

17

Chromosome 10p deletion in a patient with hypoparathyroidism, severe mental retardation, autism and basal ganglia calcifications

Annapia Verri, Paola Maraschio, Koen Devriendt, Carla Uggetti, Emanuela Spadoni, Edward Haeusler, Antonio Federico

Journal:

Annales de Génétique

Year:

2004

Language:

english

File:

PDF, 184 KB

english, 2004

18

Class III NSRH: Oncological outcome in 170 cervical cancer patients

Antonino Ditto, Fabio Martinelli, Francesco Hanozet, Claudio Reato, Eugenio Solima, Flavia Zanaboni, Barbara Grijuela, Marialuisa Carcangiu, Edward Haeusler, Francesco Raspagliesi

Journal:

Gynecologic Oncology

Year:

2010

Language:

english

File:

PDF, 169 KB

english, 2010

19

Advanced ovarian cancer: Omental bursa, lesser omentum, celiac, portal and triad nodes spread as cause of inaccurate evaluation of residual tumor

Raspagliesi, Francesco, Ditto, Antonino, Martinelli, Fabio, Haeusler, Edward, Lorusso, Domenica

Journal:

Gynecologic Oncology

Year:

2013

Language:

english

File:

PDF, 500 KB

english, 2013

20

[Trends in Logic] Advances in Natural Deduction Volume 39 || An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited

Pereira, Luiz Carlos, Haeusler, Edward Hermann, de Paiva, Valeria

Year:

2014

Language:

english

File:

PDF, 151 KB

english, 2014

21

Extending Propositional Dynamic Logic for Petri Nets

Lopes, Bruno, Benevides, Mario, Haeusler, Edward Hermann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 289 KB

english, 2014

22

[IEEE 2008 IEEE International Conference on Pervasive Computing and Communications (PerCom) - Hong Kong, China (2008.03.17-2008.03.21)] 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom) - Ontology and Context

Cafezeiro, Isabel, Haeusler, Edward Hermann, Rademaker, Alexandre

Year:

2008

Language:

english

File:

PDF, 188 KB

english, 2008

23

[IEEE 2006 10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06) - Hong Kong, China (2006.10.16-2006.10.20)] 2006 10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06) - An Ontology-based Approach to the Formalization of Information Security Policies

Do Amaral, Fernando, Bazilio, Carlos, Hamazaki Da Silva, Geiza, Rademaker, Alexandre, Haeusler, Edward

Year:

2006

Language:

english

File:

PDF, 313 KB

english, 2006

24

[IEEE 2011 22nd International Conference on Database and Expert Systems Applications (DEXA) - Toulouse, France (2011.08.29-2011.09.2)] 2011 22nd International Workshop on Database and Expert Systems Applications - Intuitionistic Description Logic and Legal Reasoning

Haeusler, Edward Hermann, Paiva, Valeria de, Rademaker, Alexandre

Year:

2011

Language:

english

File:

PDF, 321 KB

english, 2011

25

Embryonal Rhabdomyosarcoma of the Uterine Cervix in Adults

Ditto, Antonino, Martinelli, Fabio, Carcangiu, Marialuisa, Solima, Eugenio, de Carrillo, Karla Jeanette Amaya, Sanfilippo, Roberta, Haeusler, Edward, Raspagliesi, Francesco

Journal:

Journal of Lower Genital Tract Disease

Year:

2013

Language:

english

File:

PDF, 2.86 MB

english, 2013

26

[IEEE 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom 2014) - Natal (2014.10.15-2014.10.18)] 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom) - A framework for customizing the mobile and remote monitoring of patients with chronic diseases

Pinheiro de Almeida, Vitor, Endler, Markus, Haeusler, Edward Hermann

Year:

2014

Language:

english

File:

PDF, 1.10 MB

english, 2014

27

Reviews

HAEUSLER, EDWARD HERMANN

Journal:

Journal of Logic and Computation

Year:

1996

Language:

english

File:

PDF, 148 KB

english, 1996

28

A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics

Nalon, Cláudia, Lopes, Bruno, Dowek, Gilles, Haeusler, Edward Hermann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 264 KB

english, 2015

29

Specifying ubiquitous systems through the algebra of contextualized ontologies

Cafezeiro, Isabel, Viterbo, José, Rademaker, Alexandre, Haeusler, Edward Hermann, Endler, Markus

Journal:

The Knowledge Engineering Review

Year:

2014

Language:

english

File:

PDF, 449 KB

english, 2014

30

XII Brazilian Logic Conference

Haeusler, Edward Hermann

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 34 KB

english, 2001

31

Yet Another Bijection Between Sequent Calculus and Natural Deduction

Englander, Cecilia, Dowek, Gilles, Haeusler, Edward Hermann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 257 KB

english, 2015

32

How Many Times do We Need an Assumption to Prove a Tautology in Minimal Logic? Examples on the Compression Power of Classical Reasoning

Haeusler, Edward Hermann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 217 KB

english, 2015

33

A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic

de Barros Santos, Jefferson, Lopes Vieira, Bruno, Haeusler, Edward Hermann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 299 KB

english, 2016

34

On Strong Normalization in Proof-Graphs for Propositional Logic

Quispe-Cruz, Marcela, Haeusler, Edward, Gordeev, Lew

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 1.57 MB

english, 2016

35

Laparoscopic sentinel node mapping in endometrial cancer following hysteroscopic injection of indocyanine green

Martinelli, Fabio, Ditto, Antonino, Bogani, Giorgio, Signorelli, Mauro, Chiappa, Valentina, Lorusso, Domenica, Haeusler, Edward, Raspagliesi, Francesco

Journal:

Journal of Minimally Invasive Gynecology

Year:

2016

Language:

english

File:

PDF, 558 KB

english, 2016

36

Defining Effectiveness Using Finite Sets A Study on Computability

Macedo, Hugo D., Haeusler, Edward H., Garcia, Alex

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 265 KB

english, 2016

37

Accuracy of pre-operative hysteroscopic guided biopsy for predicting final pathology in uterine malignancies

Martinelli, Fabio, Ditto, Antonino, Bogani, Giorgio, Signorelli, Mauro, Chiappa, Valentina, Lorusso, Domenica, Haeusler, Edward, Raspagliesi, Francesco

Journal:

Journal of Cancer Research and Clinical Oncology

Year:

2017

Language:

english

File:

PDF, 668 KB

english, 2017

38

[IEEE 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) - Shenzhen, China (2016.12.15-2016.12.18)] 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) - K-mer Mapping and de Bruijn graphs: The case for velvet fragment assembly

de Armas, Elvismary Molina, Haeusler, Edward Hermann, Lifschitz, Sergio, de Holanda, Maristela Terto, da Silva, Waldeyr Mendes Cordeiro, Ferreira, Paulo Cavalcanti Gomes

Year:

2016

Language:

english

File:

PDF, 469 KB

english, 2016

39

Sentinel node mapping in endometrial cancer following Hysteroscopic injection of tracers: A single center evaluation over 200 cases

Martinelli, Fabio, Ditto, Antonino, Signorelli, Mauro, Bogani, Giorgio, Chiappa, Valentina, Lorusso, Domenica, Scaffa, Cono, Recalcati, Dario, Perotto, Stefania, Haeusler, Edward, Raspagliesi, Frances

Journal:

Gynecologic Oncology

Year:

2017

Language:

english

File:

PDF, 363 KB

english, 2017

40

A Formal Approach to Real-Time Object Oriented Software

Carvalho, Sérgio E., Fiadeiro, José L., Haeusler, Edward H.

Journal:

IFAC Proceedings Volumes

Year:

1997

Language:

english

File:

PDF, 1.46 MB

english, 1997

41

Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach

Benevides, Mario, Lopes, Bruno, Haeusler, Edward Hermann

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 950 KB

english, 2018

42

Foreword

Carnielli, Walter, Hermann Haeusler, Edward, Viana, Petrucio

Journal:

Logic Journal of IGPL

Year:

2017

Language:

english

File:

PDF, 60 KB

english, 2017

43

[IEEE 2017 Intelligent Systems Conference (IntelliSys) - United Kingdom (2017.9.7-2017.9.8)] 2017 Intelligent Systems Conference (IntelliSys) - Towards stream-based reasoning and machine learning for IoT applications

Endler, Markus, Briot, Jean-Pierre, Silva e Silva, Francisco, de Almeida, Vitor P., Haeusler, Edward H.

Year:

2017

Language:

english

File:

PDF, 355 KB

english, 2017

44

[ACM Press 23rd Brazillian Symposium on Multimedia and the Web - Gramado, RS, Brazil (2017.10.17-2017.10.20)] Proceedings of the 23rd Brazillian Symposium on Multimedia and the Web - WebMedia '17 - Converting NCL Documents to Smix and Fixing Their Semantics and Interpretation in the Process

Lima, Guilherme F., Azevedo, Roberto Gerson de Albuquerque, Colcher, Sérgio, Haeusler, Edward Hermann

Year:

2017

Language:

english

File:

PDF, 1.06 MB

english, 2017

45

[IEEE 2016 27th International Workshop on Database and Expert Systems Applications (DEXA) - Porto, Portugal (2016.9.5-2016.9.8)] 2016 27th International Workshop on Database and Expert Systems Applications (DEXA) - PUC-Logic

Fernandes, Ricardo Queiroz de Araujo, Haeusler, Edward Hermann, Pereira, Luiz Carlos

Year:

2016

Language:

english

File:

PDF, 357 KB

english, 2016

46

Fertility sparing surgery in early stage epithelial ovarian cancer

Ditto, Antonino, Martinelli, Fabio, Lorusso, Domenica, Haeusler, Edward, Carcangiu, Marialuisa, Raspagliesi, Francesco

Journal:

Journal of Gynecologic Oncology

Year:

2014

Language:

english

File:

PDF, 1.07 MB

english, 2014

47

[ACM Press the 14th Brazilian Symposium - Salvador, Brazil (2015.11.03-2015.11.06)] Proceedings of the 14th Brazilian Symposium on Human Factors in Computing Systems - IHC '15 - Exploring concurrency on computational thinking tools

Slaviero, Cleyton, Haeusler, Edward Hermann

Year:

2015

File:

PDF, 18.65 MB

2015

48

In vitro Activity of Sagamicin against Ocular Bacterial Isolates

Marone, Piero, Monzillo, Vincenzina, Carretto, Edoardo, Haeusler, Edward, Antoniazzi, Elena

Journal:

Ophthalmologica

Year:

2002

Language:

english

File:

PDF, 165 KB

english, 2002

49

[IEEE 2019 IEEE 13th International Conference on Semantic Computing (ICSC) - Newport Beach, CA, USA (2019.1.30-2019.2.1)] 2019 IEEE 13th International Conference on Semantic Computing (ICSC) - A Soft Real-Time Stream Reasoning Service for the Internet of Things

Reis, Ruhan Dos, Endler, Markus, de Almeida, Vitor Pinheiro, Haeusler, Edward Hermann

Year:

2019

File:

PDF, 7 KB

2019

50

Regulation of hepatic LDL receptors by mTORC1 and PCSK9 in mice

Ai, Ding, Chen, Chiyuan, Han, Seongah, Ganda, Anjali, Murphy, Andrew J., Haeusler, Rebecca, Thorp, Edward, Accili, Domenico, Horton, Jay D., Tall, Alan R.

Journal:

Journal of Clinical Investigation

Year:

2012

File:

PDF, 1.65 MB

2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски